Start -> SK
Ste9 -| Cdc2_Cdc13
Rum1 -| Cdc2_Cdc13
Slp1 -| Cdc2_Cdc13
SK -| Ste9
Cdc2_Cdc13 -| Ste9
Ste9 -> Ste9
Cdc2_Cdc13_A -| Ste9
PP -> Ste9
SK -| Rum1
Cdc2_Cdc13 -| Rum1
Rum1 -> Rum1
Cdc2_Cdc13_A -| Rum1
PP -> Rum1
Cdc2_Cdc13_A -> Slp1
Ste9 -| Cdc2_Cdc13_A
Rum1 -| Cdc2_Cdc13_A
Slp1 -| Cdc2_Cdc13_A
Wee1_Mik1 -| Cdc2_Cdc13_A
Cdc25 -> Cdc2_Cdc13_A
Cdc2_Cdc13 -| Wee1_Mik1
Wee1_Mik1 -> Wee1_Mik1
PP -> Wee1_Mik1
Cdc2_Cdc13 -> Cdc25
Cdc25 -> Cdc25
PP -| Cdc25
Slp1 -> PP
$Cdc25: ((((!Cdc2_Cdc13 & Cdc25) & !PP) | ((Cdc2_Cdc13 & !Cdc25) & !PP)) | (Cdc2_Cdc13 & Cdc25))
$Cdc2_Cdc13: ((!Ste9 & !Rum1) & !Slp1)
$Cdc2_Cdc13_A: ((((!Ste9 & !Rum1) & !Slp1) & !Wee1_Mik1) & Cdc25)
$PP: Slp1
$Rum1: ((((((((!SK & !Cdc2_Cdc13) & !Rum1) & !Cdc2_Cdc13_A) & PP) | (((!SK & !Cdc2_Cdc13) & Rum1) & !Cdc2_Cdc13_A)) | ((((!SK & !Cdc2_Cdc13) & Rum1) & Cdc2_Cdc13_A) & PP)) | ((((!SK & Cdc2_Cdc13) & Rum1) & !Cdc2_Cdc13_A) & PP)) | ((((SK & !Cdc2_Cdc13) & Rum1) & !Cdc2_Cdc13_A) & PP))
$SK: Start
$Slp1: Cdc2_Cdc13_A
$Start: false
$Ste9: ((((((((!SK & !Cdc2_Cdc13) & !Ste9) & !Cdc2_Cdc13_A) & PP) | (((!SK & !Cdc2_Cdc13) & Ste9) & !Cdc2_Cdc13_A)) | ((((!SK & !Cdc2_Cdc13) & Ste9) & Cdc2_Cdc13_A) & PP)) | ((((!SK & Cdc2_Cdc13) & Ste9) & !Cdc2_Cdc13_A) & PP)) | ((((SK & !Cdc2_Cdc13) & Ste9) & !Cdc2_Cdc13_A) & PP))
$Wee1_Mik1: ((((!Cdc2_Cdc13 & !Wee1_Mik1) & PP) | (!Cdc2_Cdc13 & Wee1_Mik1)) | ((Cdc2_Cdc13 & Wee1_Mik1) & PP))